Partial evaluation

Results: 234



#Item
11

AST Specialisation and Partial Evaluation for Easy High-Performance Metaprogramming Chris Seaton Oracle Labs

Add to Reading List

Source URL: chrisseaton.com

- Date: 2016-11-26 16:01:29
    12

    Partial Evaluation Applied to Ray Tracing Peter Holst Andersen DIKU, Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen, Denmark, e-mail:

    Add to Reading List

    Source URL: repository.readscheme.org

    - Date: 2010-10-22 08:05:07
      13

      Partial Evaluation of Standard ML Master’s Thesis Lars Birkedal Morten Welinder

      Add to Reading List

      Source URL: repository.readscheme.org

      - Date: 2010-10-22 08:05:06
        14

        Using Regular Approximations for Generalisation During Partial Evaluation John P. Gallagher Julio C. Peralta

        Add to Reading List

        Source URL: repository.readscheme.org

        - Date: 2010-10-22 08:05:11
          15

          Partial evaluation An article for Encyclopedia of Computer Science and Technology Version 1.01 ofTorben . Mogensen1 and Peter Sestoft2

          Add to Reading List

          Source URL: repository.readscheme.org

          - Date: 2010-10-22 08:06:01
            16

            Pragmatics of Type-Directed Partial Evaluation Olivier Danvy Computer Science Department Aarhus University ? http://www.brics.dk/~danvy

            Add to Reading List

            Source URL: repository.readscheme.org

            - Date: 2010-10-22 08:04:37
              17

              An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework German Puebla and Manuel Hermenegildo Department of Computer Science Technical University of Madrid (UPM) fgerman,

              Add to Reading List

              Source URL: repository.readscheme.org

              - Date: 2010-10-22 08:05:11
                18

                In: O. Danvy, R. Gl uck, P. Thiemann, editors, Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12{16, 1996, Lecture Notes in Computer Science 1110, Springer, A Theory of Logic Program

                Add to Reading List

                Source URL: repository.readscheme.org

                - Date: 2010-10-22 08:04:37
                  19

                  Partial Evaluation for Domain-Specific Embedded Languages in a Higher Order Typed Language Duncan Coutts October 2004 Abstract Partial evaluation is a mature area of research that has demonstrated the power of

                  Add to Reading List

                  Source URL: repository.readscheme.org

                  - Date: 2010-10-22 08:06:10
                    20Software engineering / Computing / Software / Evaluation strategy / Incremental computing / Partial evaluation / Programming language implementation / Interpreter / Logic programming / Programming language / Meta / Eval

                    A Self-Applicable Partial Evaluator for the Logic Programming Language G¨odel. Corin Alistair Gurr A thesis submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosoph

                    Add to Reading List

                    Source URL: repository.readscheme.org

                    Language: English - Date: 2010-10-22 08:05:10
                    UPDATE